Added combinators for operators
Refactored two combinators to use a proxy
Added label and grammar - and the context that label needs