Hi Mark,

Well done on the new patches they are currently being merged. I imagine the typechecking could be a bit more complex since correct me if I am wrong but I feel like this might end up affecting the whole PathInExpression resolution which is fairly complicated. There is a nullptr bug there if it fails to resolve the root segment.

I imagine there might need to be a check in the resolve_segments for if the tyseg which will be the type of the previous segment, if that is an ADTType which is an enum then look for the name of the field within the struct but i am not 100% sure if it does affect the PathInExpression stuff.

Let me know if there is anything I can do to help or review? I don't mind checking out your branches to play with too.

Thanks

--Phil