start typechecking