2) Axiom patch40 crashes (at least on my Debian installation) on the following code:

  E := Expression Integer
  F := E -> E
  compose(f:F, g:F):F == (e:E):E +-> f(g(e))
  p(e:E):E == 2*e+1
  q(e:E):E == 3*e+1
  compose(p,q)

Best regards

Ralf Hemmecke