pub fn get_type_name(
    ty: &Type<PortableForm>,
    types: &PortableRegistry,
    full: bool
) -> String