A statically-typed facade for .config files