add steps to read.hs, hack together a working regex for all theorem names in one file (including comments). see match.txt!