A type system for RCL (2024) (via nemin) — discussion

#plt