A 2-3 finger tree implementation in Python