Add ==> (from SimpleSpec) as an operator