simplify fresh
make mod take non-const arguments
make mod take non-const arguments
foo Merge branch 'master' of https://github.com/ucsd-progsys/liquid-fixpoint