EG meeting, 2022-05-18

[Dan Smith]

EG Zoom meeting today at 4pm UTC (9am PDT, 12pm EDT).

Recent threads to discuss:

- "User model stacking: current status": Brian talked about factoring atomicity out of the B2/B3 choice, as an extra choice applying to B3 (and perhaps B2, too)

- "Nullity (was: User model stacking: current status)": Brian explored the possibility of using '?' and '!' as alternatives to '.ref' and '.val' for B3 classes, anticipating more general support in the language for null-free types

- "User model: terminology": Brian summarized the different features that need labels (non-identity classes, non-identity classes with a valid zero, tearable classes, types with and without null)