Function preamble validation improved.

Such validation now throws exceptions with descriptive error messages when
failing, comprising both the function prototype and passed arguments
responsible for such exceptions. Ever more to come, on the marrow of the
morrow.