Function prototype localization continued.

Refactoring proceeds apace. With invigorated support for validating argument
subtypes, we incrementally approach midnight's cessation.