traits design meeting 2019.10-21 topic dyn Trait in Chalk. Zulip thread summary Key points in the discussion: how is dyn Trait defined in Chalk where clauses