Goose primitives

Primitive functionality provided by goose. Everything here is given a trusted model of its execution.

For common functionality that is verified rather than trusted, use goose-lang/std.