Copy (don't move) argument validation from templates to subclass-templates.

I expect argument validation will still be useful for [stand-alone (complex)](https://www.youtube.com/watch?v=Gf6YFrV7zes) modules.  It will be equally useful for when generic modules already exist.