statically-typed configuration front-end with multiple back-ends