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 ["Quotient", 
                      "LaTeXsugar"];

use_thys ["Paper"];