Rubocop

do not merge yet, just source for discussion.
Remove `Ops.set`.