Implement exhaustivity checks

[dabrahams]

On requirements-machine branch:

public fun force_unwrap<T>(x: sink Optional<T>) -> T {
  match x { // error: incompatible types '{}' and 'T'
    // let r: T { return r }
    _ { fatal_error("force unwrapping nil.") }
  }
}