Typeable support
resplit -- commented out, since it won't type-check without commutativity of addition