should read `$caseDefType`, not just `CaseDef`