Added PossibleValued equal operation. fix #65.