Removed dead constructor
Added public constructor
fixed bug in subtype of ADT (forgot about parametrized ADTs)
including computation of lub in Visitor design. not finished yet.