RnTypes
rnHsType
rnLHsType
rnLHsTypes
rnContext
rnHsSigType
rnHsTypeFVs
mkOpAppRn
mkNegAppRn
mkOpFormRn
mkConOpPatRn
checkPrecMatch
checkSectionPrec