Possible Bug in Recursive Types Hashconsing

I am not sure how to right a test to show this behavior but I don't think recursive types are not being hashconsed correctly. The equality test on recursive types should take equirecursion into account, as best I remember it does not.