Fixed casetypes test due to typechecker restriction