make grammar productions for terminals a bit shorter by using
multiple result sorts (i.e. S and alphabet)
add algebra for creating terms
Merge branch 'master' of git@github.com:neothemachine/adp-multi.git