Function prototype validation continued.

There's little to say, folks; such validate now partially competently handles
optional and variadic arguments, but yet more remains to be (hotly) contested.