splitFunTy, domTy, ranTy
Coproduct conversion: Either/Case and DistL
updated (==)
comment out casevId# binding