ToPastTense now uses Should

IEvaluationVisitor now just visits Evaluations and Specifications