A Problem with Type Checking (in Python and Oil Shell)

For the oil prototype, I used Python 3 rather than Python 2 to take advantage
of both type annotations and type checking with mypy. The
mypy type system seems fairly similar to the C++ type system, so these
annotations should help when porting the parser…