CheckAfterRuleHasBeenSetThatChildrenAreNotContracted
Parse methods return BnfiTerms that are Uncontractible
make all Parse methods return Uncontractible BnfiTerms
renamed ParseValue to IntroValue
renamed method BindMember to BindTo
fixed rename: CreateDataLiteral
TerminalFactoryS
more TerminalFactoryS usages