+ functor/3, =../2, current_op/3, op/3 + fix parsing with dynamic operators + add operators table support in prolog solvers + domain errors + improve user-friendliness of repl
+ functor/3, =../2, current_op/3, op/3 + fix parsing with dynamic operators + add operators table support in prolog solvers + domain errors + improve user-friendliness of repl