Refactor resolve::types

* It is no longer a part of the AST, since there will be no special
    syntax for types.

* The "Type" suffix was removed, and users qualify the names with the
    "types::" module, to make importing easier.

* Unused variants removed