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

quick_and_dirty := true;
no_document use_thys ["LaTeXsugar"];
use_thys ["Paper"];