[throwaway894345]

I also think “executable” is more important. Our configs are so large and complex that we need to DRY them up. A type system alone is insufficient.