Modularize types module into types/

[kunalq]

This is a backwards-compatible, straightforward module for types that I have found a way to make work for the ongoing type generalization project.