Added the (ztokenequals ...) case for Term.