refactor(library): add compile_equations function, generic_exception, and cleanup elaborator_exception
test(tests/lean/extra): more tests for equations compiler
checkpoint
checkpoint