add telescopic versions of the Coq quantifiers

Merged Ralf Jung requested to merge ralf/telescopes into master

Merge request reports