Factored Codex stuffs into separate minor mode.
Added import-type.

This should really go into java-/scala-mode, so I'll sort out how to make that
easy and then move it there.