Cadence types

Go types