We need a function in the standard library that indicates unreachable code, specifically for the following case:

fn f() -> int {
  while true { ... }
  std::unreachable()
}

Typestate can't prove that the while loop terminates, so the user has to do it themselves. Implement unreachable as a fail function, then hunt out the places where we're doing this with fail and replace them.