Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner