clear out code of typechecking