func Subst(name string, replacement, t Term) Term {
	return substAtLevel(0, name, replacement, t)
}
Subst takes a Term and finds all instances of a variable called
`name` and replaces them with the replacement.
package term