TcTypeNats
typeNatTyCons
typeNatCoAxiomRules
data BuiltInSynFamily
typeNatAddTyCon
typeNatMulTyCon
typeNatExpTyCon
typeNatLeqTyCon
typeNatSubTyCon
typeNatCmpTyCon
typeSymbolCmpTyCon