==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  protecting 'FLOAT .
  sorts none .
  none
  none
  none
  none
endfm, '1.0 '+ '1.0, anyType) .
rewrites: 2
result ResultPair: {'_+_['1.0.FiniteFloat, '1.0.FiniteFloat], 'Float}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'RAT .
  sorts 'Foo .
  none
  none
  none
  none
endfm, '3, anyType) .
rewrites: 2
result ResultPair: {'s_^3['0.Zero], 'NzNat}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'RAT .
  sorts 'Foo .
  none
  none
  none
  none
endfm, '-3, anyType) .
rewrites: 2
result ResultPair: {'-_['s_^3['0.Zero]], 'NzInt}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'RAT .
  sorts 'Foo .
  none
  none
  none
  none
endfm, '-2/3, anyType) .
rewrites: 2
result ResultPair: {'_/_['-_['s_^2['0.Zero]], 's_^3['0.Zero]], 'NzRat}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'RAT .
  sorts 'Foo .
  none
  none
  none
  none
endfm, 's_^2 '`( '0 '`), anyType) .
rewrites: 2
result ResultPair: {'s_^2['0.Zero], 'NzNat}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'RAT .
  sorts 'Foo .
  none
  none
  none
  none
endfm, '-256789/387654, anyType) .
rewrites: 2
result ResultPair: {'_/_['-_['s_^256789['0.Zero]], 's_^387654['0.Zero]],
    'NzRat}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  including 'BOOL .
  sorts 'Foo .
  none
  op 's : 'Bool -> 'Bool [iter] .
  none
  none
endfm, 's^1234 '`( 'true '`), anyType) .
rewrites: 2
result ResultPair: {'s^1234['true.Bool], 'Bool}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  protecting 'FLOAT .
  sorts none .
  none
  none
  none
  none
endfm, 'X:Float, 'X '+ '1.0, anyType) .
rewrites: 1
result ResultPair: {'_+_['X:Float, '1.0.FiniteFloat], 'Float}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  protecting 'FLOAT .
  sorts none .
  none
  none
  none
  none
endfm, 'X:Float ; 'Y:Float, 'X '+ '1.0, anyType) .
rewrites: 1
result ResultPair: {'_+_['X:Float, '1.0.FiniteFloat], 'Float}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  protecting 'FLOAT .
  sorts none .
  none
  none
  none
  none
endfm, 'X:Float ; 'Y:Float, 'X '+ 'Y, anyType) .
rewrites: 1
result ResultPair: {'_+_['X:Float, 'Y:Float], 'Float}
==========================================
reduce in META-LEVEL : metaParse(fmod 'FOO is
  protecting 'FLOAT .
  sorts none .
  none
  none
  none
  none
endfm, 'X:Float, 'X '+ 'Y, anyType) .
rewrites: 1
result ResultPair?: noParse(2)
Bye.
