HUGE refactoring of Expressions, Evaluations and Engine