Operators

Obviously, do not merge yet.