Fix m reassignment bug

[TwitchBronBron]

class Test
    sub rewrite()
        m = m.list
        if 1 > m.value 
        end if
    end sub
end class

[markwpearce]

The example is showing as an error because m is the class Test OR it is an unresolved m.list ... so m is not completely resolvable.

There is no error with this code:

class Test
    list ' define the list property
    sub rewrite()
        m = m.list
        if 1 > m.value 
        end if
    end sub
end class

[markwpearce]

Ideally, this would show that m.list could not be found,... which, btw, does show up if you did:

x = m.list

I think we could push this out to v1.1, or whenever we add better code-flow validation - eg, when we we properly track types as code flows through a function

[TwitchBronBron]

is there any chance we could at least provide a union of the types instead of saying we can't find m? at least for v1? that current message is a little confusing.