I'm mildly opposed, for the same reasons as Jorge. That is, we think {kea} can do the job. Also, it is still not clear that CEhU won't still generate more garbage than a lambda variable in KOhA. Will {ceu} make sense everywhere a quantifier_300 can occur? --- And