Fri Jun 20 11:01:48 CEST 2008

3 different languages

compositions:          (name w1 w2 w3)
postfix asm patterns:  ((a1 a2 name) (b1 b2 ...))
prefix substitutionsn: ((name a1 a2) (w1 w2 w3 ...))

Compositions are the core of the functional language. Postfix asm
patterns are used to implement eager rewrite rules during translation
and prefix substitutions are used for changing semantics of symbolic
names and numbers.