commit of verification long standing branch

e.g. ```AssociativeCommutativeCollection#baseTerms``` to be consistent with the generic KIL?