This trait describes an interface for the multilinear extension
of an array.
The latter is a multilinear polynomial represented in terms of its
evaluations over the domain {0,1}^num_vars (i.e. the Boolean hypercube).
This trait allows to evaluate
multilinear extension types that store
F::Inner Montgomery representations
instead of field elements F which are typically
an F::Inner and the field config.