From a cursory look to SANE and SCL it looks like Dhall still offers some more:

- functions

- a powerful typesystem

- remote (HTTP) imports with sha256 checksums