allow passing options to the backends
default to TTerse syntax (but make it configurable)