added "plus" combinator (aka "+")