Let's get n-ary working first; optimize the lookup later.
Notes on =every-applicable-constraint=