Added prelim implementation for recursive typechecking
merge
Recursive typing appears to work. Evaluation is still unknown -- caveat emptor\!