Sorry, No manual entry for jpl_type_to_nicename/2