WyIL: Working on uninhabitable types

Currently, trying to implement uninhabitable types.  However, not really
having much luck.