Propagate CaseType through IRs