Library that provides Abstract Data Types (ADTs)
