WIP: Scanner Typing

A start on the oddly therapeutic work of adding type hints (so mypy can actually be useful)

Not sure about my Typed class, at least the name, but I'm not sure how else to make Type's odd comparisons typeable (interestingly the Type(x) == Enum(x) etc cases only seem to be used in unit tests)