Renamed `nav*` to `nav`.
New datastructure for comprehend scope.
No such thing as a namespace-local type or record.
Minor refactoring.
Refactoring.