Need to determine the need for HIR and its requirements. For example: types are embedded into new types, generics are monomophized Related work (very draft): #46
