.merlin
use a single representation for Symbol, much much much simpler;
it has a variant for connectives, syntax-independent (syntaxes should provide their own printers);
Type is a subtype of ScopedTerm.Std.t (instance of ScopedTerm for Symbol)