- Inserted additional check for equality types in check_mode_clause that
avoids ill-typed code to be generated.
- Mode inference algorithm now outputs additional diagnostic messages.
Tree = Main +
datatype 'a tree = Tip | Node ('a tree) 'a ('a tree)
end