Lets not worry about qvars subsuming other qvars right now.
Merge branch 'master' of https://github.com/SNePS/CSNePS
Added 'or to path-keywords.
Renamed "name" slot to "rulename".
Arbitraries/qvars which are named apart are notsame now.