心 configuration language - like a typed nix, or a dhall with reflection & fixpoint recursion - View it on GitHub