some more work on the type check visitor, including Maria's code