Whitespace commit...
40/74

Added sub-type and least-upper-bound functions
Use these in a few of the traversals