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;
}