typecheck dev