A trait for things that can evaluate (MirScalarExpr, but eventually LirScalarExpr).
MirScalarExpr
LirScalarExpr