introduce binary * operator for optional matches of right operand;