New Context type for structured, scoped shared state

[mathstuf]

This is sometimes also called an "effect system". It has been discussed before:

• Pre-RFC: typed context injection
• Blog post: Contexts and capabilities in Rust