Thanks for the elaborate answer! I wonder if you considered Dhall (https://dhall-lang.org/ https://dhall-lang.org/) that's declarative but at the same time has

Thanks for the elaborate answer! I wonder if you considered Dhall (https://dhall-lang.org/ https://dhall-lang.org/) that's declarative but at the same time has functions and other convenience factors.