Unwrap results from option and some_result
Unwrap results from option and some_result

Now that all programs return nats, this wrapping is unnecessary.

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl