Visitor UnionBasisChecker - reimplemented.
Rewritten visitor FunctionTypeFinder
New visitor ConcreateTypeImplementor.
new visitor PTypeResolver. 1st level Unfold only
PTypeResolver visitor finished.
Changes to Assistants.
Finishing PTypeFinder visitor
new visitor ProductExtendedChecker.
Finish ProductExtendedChecker visitor.
Some commenting out unused methods.
new visitor ProductExtendedTypeFinder
Merge branch 'origin/assistant-rewrite'
new visitor PTypeExtenderChecker.
Merge remote-tracking branch 'origin/astv2-pvj' into assistant-rewrite
Finish visitor PTypeExtendedChecker
new visitor VoidExistanceChecker.
New visitor VoidBasisChecker.
Move file VoidExistanseChecker.
Commenting out unused methods - clean up
new visitor PossibleTypeFinder
Comment out methods in AClassTypeAssistantTC
Finished visitor PossibleTypeChecker
New visitor MatchingExpressionFinder.