patched some bugs in type checker. started to start to think about evaluator redux.