Result objects

[curtis-h]

Proposed feature

Move towards returning "Result" objects, instead of simple values.
This should allow us to create a more consistent interface for success, failure and error cases, instead of being a combination of values and exceptions.

Feature description

A "Result" may look something like:

interface Result<T> {
  ok: boolean;
  data: T;
  err?: Error;
}

This should allow us to provide more information and context about the return state, which could be particularly valuable in places like Verification.