Fix the tensor desugaring bug
Add mu-types and fix case-related bugs

Unfortunately, it seems that you need the mix rule to implement
partitionEithers. Which is just dubious!