An EG meeting will be held today, July 12, at 4pm UTC (9am PDT, 12pm EDT). Brian recently shared a summary about side-channel refinement types as a replacement for Q types. We can discuss this further, as interested.