removing most of typechecking