Promote language-in, language-out, new-type-inference to full-fledged op...

...tions