#834 "MIP evaluations are slow with many bind/@name"

- variables are pulled by MIP expressions as needed
- static MIPs directly point to expressions, without cache indirection
- with XPath analysis enabled, the same compiled expression is used
Fix #835 "Failing constraint should default to false()"
Minor: arrows