Craig Roy

Notes: * If one variant of an enum contains a linear field, the whole enum becomes linear * We should probably unify enums and structs as some ADT type internally

Relatedly, when we call tuples of functions in guppy code, mypy complains that tuples aren't callable 😅