Text this: Datatype defining rewrite systems for naturals and integers