dhall-1.2.0: A configuration language guaranteed to terminate