ignore conflicting substitutions
crash on intersecting substitutions
pass an argument to top
reverting to old catSubst, see code comments...
merging in from subst branch