Updates to normalized and untyped IR's based on jriehl's proposal.