Simplify expr.rs by redesigning constant evaluation

Constants are now a separate ConstantItem variant, and are not split
into up/down parts like ValueItem.

Breaks execution, but I'm separating refactoring from new code.
Implement SSA execution enough to get previous tests passing
Fix Item Show implementation