outcome

outcome with 1 argument provides an short-hand to wrap a value into a
outcome

Using this enables to write

o := outcome x

instead of

o outcome TypeOfX := x