working on the quantifiers. They do still do not compile and the fold
requirements might be too weak.