#1448 Support list comprehension expressions in the CIF explorer

• First the CIF explorer's ExpressionEval class has some small code improvements, reducing casting and improving some variable names.
• Then support for expression-local variable valuation is added to expression-evaluation, but not yet used.
• Then list comprehensions support is added.
• Then integration tests are updated/added.

Addresses #1448 (closed)