Changes

Summary

1. do not print unimplemented functions
2. dropped void values
3. more uniform order of constructors
4. more consistent terminology
5. avoid name particle "the" where no selection is implied
6. more uniform ordering and naming of sections; proper local function
7. tuned internal signature
8. more explicit constructor name
9. tuned whitespace
10. replaced recdef by fun
11. spelling