Could you write a critique of languages like [Dhall](https://dhall-lang.org/) ([Python bindings](https://github.com/s-zeng/dhall-python)) and [Starlark](https://github.com/google/starlark-go/blob/745481cf39ed5052e18952ee7f6de1b86db15956/doc/spec.md) (Python bindings: [Go impl.](https://github.com/caketop/python-starlark-go), [Rust impl.](https://github.com/inducer/starlark-pyo3)) for https://hitchdev.com/strictyaml/why-not/?