Error values and inspection
public let reject : (message : Text) -> Error
public let code : (error : Error) -> ErrorCode
public let message : (error : Error) -> Text