we need a new method in Words that check whether sef is a var. we collect them and change them to gensym. we need a good equals. substitution and removal of gensyms? -> would need a reference in the terms to all structures they take part in.
we need a new method in Words that check whether sef is a var. we collect them and change them to gensym.
we need a good equals. substitution and removal of gensyms? -> would need a reference in the terms to all structures they take part in.