update linechecker to work with user theorems, added skel for checkTheoremEquivalence, added support for user theorems