feat(init): reserve notation for "not in"
fix(library/normalize): bug in the "eval" command
refactor(library): add compile_equations function, generic_exception, and cleanup elaborator_exception
test(tests/lean/extra): more tests for equations compiler
test(tests/lean/extra): more tests for equations compiler