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.