abstract numbers = { cat Number; fun one : Number; two : Number; three : Number; four : Number; five : Number; six : Number; seven : Number; eight : Number; nine : Number; ten : Number; --aNumber : Number; }