Stub in spesh guards for specializing on arg type.

None are produced so far; this just prepares the storage of them and
adds a first pass at the code for checking them.