began typechecking