finalise hole typechecking