Interface change for LTS: we now have an equality type for nodes which
needs to be implemented each time the functor is used. Next, we're
going to use it for our equality stuff instead.