Give up on implementing all of types.py for now