Why Pascal Doesn't Support ADTs