Internalize type checks.