add applySubstAtom and applySubst1Atom to ToySolver.Data.LA
add ToySolver.VirtualSubstitution module