type_kind_to_str()
type_nav_dump()
Fixing type-parsing
Type example