Got a large part of type checking done

Andy. If you want to get in there and finish it for me, that’d be
great. No trolling please.