Tweeks to theorem gen and theorems, removed initial test thesis from the mod, started to add more proper material in preperation for working in more features