A bit faster term type-checking for some basic types