Verified Goose standard library

Written in Goose for verification in Iris.

To translate with goose (in the repo directory):

goose -out ~/code/perennial/external/Goose

To makes changes you'll need to submit a pull request so that CI can run first.