Add a Symbolic typeclass for things with terms in.