[tonyg]

Preserves has an equational theory. It's untyped, though, like S-expressions, JSON and XML.