big regression, but perhaps better basis. to be continued...
reenable
remove dead
a strange hack to remove most of the regression
one down
minor update to tex for this version
Merge branch 'master' into wip-reg
reached goal in terms of expressivity
Merge branch 'master' into wip-reg
proof of lookupexp uniqueness restored
wip
wip mess
getting there with finishing up uniqueness
done with uniqueness, more or less
propagate knowledge of env-case to path-eval.
wip on extend
move
saner names
ditto
add extend-wf-pev-case