Add support for unbound ADTs