Made a SymbolicInterface for most Functors (except Desorting and SomeFunctor which are complicated, and Bitwise And/Or Monoids and Complex Valued GroupValueds, which seem very hard to implement, since they do not seem to be natively supported by Sylvan). Should hopefully work, at least my IntValued Test worked fine (there may still be errors).