Desugar: Do not stumble over a function of type Non

[nomeata]

and instead of somehow creating code that can handle this unreachable
case, simply loop.

One could go a step further and never even add something of type Non
to the environment, and simply loop (or Unreachable) that code. But
for a quick fix this should work.