Compiling type system refactor
Rename type_root to type_nav (nagivation)