MonadFunctor, AnalysisT, new approach to plumbing, concrete abstract big-step evaluator working