Runnable prototype syntax expanded.

Such syntax now provides support for optional type validation (e.g.,
":string:list? list_name") and the return pseudotype ":full" (e.g.,
":full :return_everything(:void)"), ostensibly the antonym of existing return
pseudotype ":void". (And all's well, or as well as the present ever bides.)