Summer of Code (2)

Implement a better type checker for yhc

by Leon P Smith, mentored by Malcolm Wallace

We have a change in the student, so good luck to Leon on the type checker!