Immutable/Frozen Dictionary subclass with fixed key, value types

Question

Problem

Similar to previous questions, I would like to create a frozen/immutable dictionary. Specifically, after initialization, the user should get an ValueError