Add simple arithmetic overloads, and some return type annotations.