More work on eval & typechecking. All that is left is future work.