Abstract Data Types written in PHP