Better GUI based on Javascript and CSS

The syntax tree in Scala notation (modulo cosmetic changes)
is browsable and colored. Subtrees can be collapsed at will.
Type expressions are collapsed by default.