Arithmetical Datatypes, Fracterms, and The Fraction Definition Problem. (3rd November 2020)