`type` statement and forward references

I’m adding type statement support to our tool. We use type information for automatic type conversion, and the moment the type statement is not supported. My plan is to just unwrap the created type aliases so that the type conversion logic sees the underlying types, and possibly later preserve the original name for documentation purposes. I got unwrapping working like this: while instance(hint, TypeAliasType): try: hint = hint.__value__ except Exception as err: raise Dat...