change Var to Val and make it take a value set

rather than a single value, since expressions denote sets of values and
sometimes we want that full expressivity with logical vars.

also, tweak the Entry assertion.
rewrite the mkdir_root axiom in the new style