Attempting to bring typed and untyped IR into accord.