I don't believe that executable configuration languages are a good fit at a primary configuration source, I would prefer to have them spit out static config bef

I don't believe that executable configuration languages are a good fit at a primary configuration source, I would prefer to have them spit out static config before use. From your list KCL fits that bill (and is a really nice config language).