Improve TypeSystemTree

Types are now segmented by namespace within their modules
Types are now sorted by name so they are easy to find
Nested types have the proper "+" qualifier instead of "."
Nested types are now placed into the same namespace as their declaring
type