derivation representations now default to using the lextype name for the
penultimate leaves.

Added the --le option to use lex entries instead.