patched some bugs in type checker. started to start to think about evaluator redux.
Merge pull request #44 from thinkpad20/weird_merge

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