Promote language-in, language-out, new-type-inference to full-fledged options
Merge pull request #36 from bolinfest/nick-newtypeinference

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