Added typeclass for uninhabited types

This typeclass can make pleasing the completion checker much easier, as well
as when using a contradiction.
Merge pull request #225 from david-christiansen/uninhabited

Added typeclass for uninhabited types