More consistent, less restrictive treatment of quantifier violation related to parameters. Small documentation, bibliography fixes.