Function argument type validation draft.

Such validation only constitutes a first draft and is not, as such, working.
Code beggers cannot be code pedants, however. (Can they?)