Pure_type loading ...