second visitor - type evaluation

version -WTF. I found some bugs. More are likely to be found.
does not check return type and doesn't handle "this" (waiting for
special symbols).