#include <subst.h>
An equivalence set of variables with an optional binding. This is only used as part of a cuex_subst.