Make inferScript use walkstar

Removed use of apply and collapse on substitutions.  Also regenerated
some Scripts with the newest Lem.