Sketch analyst
Refactor towards testing analyst
Refactor theorist to use new parser
Refactor simplifier to use new parser
Use new parser everywhere