Add fast_type_map, use it authoritatively for local types and as a hint for global types (ABI breaking)

Add fast_type_map, use it authoritatively for local types and as a hint for global types (ABI breaking) #598