Operations for small ordered sum types