fix bug in `nafc` implementation. We must force scheduling thunks to
determine if we have a real answer - unit, choice, or mzero. add test
cases illustrating membero and a negated membero.