A symbolic expression evaluator that can compile its own implementation language.