reintroduce coalton-codegen-types or equivalent

[stylewarning]

It got lost. I would either want the operator back, or perhaps just a global variable option.

[macrologist]

With what inputs are you looking for what outputs? I.e. what does the information you're keen to see look like? and when or where are you keen to see it?

[stylewarning]

coalton-codegen-types is identical to coalton-codegen except the special variable that controls whether Lisp type declarations are emitted is set to T.

The lisp type decls are usually way too noisy, hence off by default.