adding symbols to Ref
remove FReft
remove refsyms and f/add/dropSyms -- rebuild liquid-fixpoint