Decidability of equality for TT.Core
Issue #2
new
Prove decidability of equality and create a nice interface to use it when proving things about the syntax (similar to semiring solver).