typecheck project