Several fixes regarding renaming

Rename `:dev` to `:type`.