Traverse indirect procedure signatures via applied references.
Simplifying docs.
Fixing optional argument signatures.  Adding some initial docs.