Bergstra, J. A. Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem. Transmath 2020.