Added typeclass for uninhabited types

This typeclass can make pleasing the completion checker much easier, as well
as when using a contradiction.