new simple rewrite: VSUBST_NIL
fix bug in join_EVERY

don't want to inadvertently rewrite things in P away