moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat

no_document use_thys
   ["Nominal2_Base",
    "Nominal2_Eqvt",
    "Nominal2_Atoms",
    "Nominal2_Supp",
    "Atoms"];