abstract Arithmetic = { flags startcat=Question ; cat Answer; Object; Question; fun Even, Odd, Prime : Object -> Question; Number : Int -> Object; Yes, No : Answer; }