new visitor PossibleTypeFinder
Comment out methods in AClassTypeAssistantTC
Finished visitor PossibleTypeChecker
New visitor MatchingExpressionFinder.