Designing With Static Capabilities and Effects: Use, Mention, and Invariants