Add 1ary operators to encoder