Update TheoremSet

Still revising the code, preliminary methods/checks are included.