Abstract syntax: Ops implemented