Framework of Abstract Data Types, tested and applied