ADT implementations in python.