Improved naming.  Added more functions.
Export names of externally-visible type-map functions.
New file for type inference in instruction graph.
Function for building a type map for a single variable.
More methods.