Partial port of Theorem / Trait handlers
Working trait / theorem create
Cleeeean up. Cleeeean up.
Restore revision tracking