Printing has been improved, but is not finished ... quite a few syntactic sugar are missing. Notably terms in values, cons, nil, infix, ...
rlepigre
