dhall-1.3.0: A configuration language guaranteed to terminate