Function argument type validation.

Such validation, while incomplete, facsimiles a reasonable working
implementation. (We thrust onward, undaunted.)