giving names to operators, etc.
automatic name for BnfiTermValues
verboseToString