Add TypeMap , use it to compute llvm types, put it in TypeConverter. Move the iw_context into TypingSession, remove H generic parameter from TypingSession.

Add TypeMap , use it to compute llvm types, put it in TypeConverter. Move the iw_context into TypingSession, remove H generic parameter from TypingSession. #18