add a backend for polymorphic-variant S-expressions (compatible with containers)