Refinement_type loading ...