#75 #190 preparations for typechecks