adding symbols to Ref
remove FReft
remove refsyms and f/add/dropSyms -- rebuild liquid-fixpoint
Merge pull request #40 from ucsd-progsys/syms

Syms