Revert "Merge branch 'tco-case'"

This reverts commit bb83e53952a66715cc5b792e0927a7f33a4c9277, reversing
changes made to 8b16e210b88b26e7d42149ac055845932e4e3876.
Merge branch 'master' of github.com:paf31/purescript