started typechecking