Is the author aware of Dhall? He might be interested.

I think it's better in general but in any case it gets away from the "everything has to be a keyed map" silliness and you get sums/products.