Generalised substitute_sem
Generalised substitute_sem

Previous version only worked with N for substitution of ‘$VAR’(N), now
works correctly for several other cases including general terms

RichardMoot/GrailLight