In tcSplittyConApp_maybe, add the PredTy case