> field access is a bit odd; unlike structs which have struct.get, nominal types receive all their values via a catch handler.

I know this is meant to be silly, and I am no expert, but I kinda do like this syntax. Its like shaking the struct and seeing what falls out.