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

...ator redux.