started typecheck