PL, ADT: ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL, I [eins]