giving names to operators, etc.
Merge branch 'master' into BnfiTermMember_change
automatic name for BnfiTermValues
Merge branch 'master' into BnfiTermMember_change
verboseToString
Merge branch 'master' into BnfiTermMember_change