Add a new flag -dno-typeable-binds for debugging

See the user manual entry -- this helps when debugging as generated Core gets smaller without these bindings.