--------------------------------------------------------------------------------

ofBPVar :: BPVar -> BareM RPVar
ofBPVar
  = mapMPvar ofBSort
ofBPVar :: BPVar -> BareM RPVar
ofBPVar
  = mapMPvar ofBSort
ofBPVar
  = mapMPvar ofBSort