Text symbol

Updating code base to use new `Symbol` api, c.f.

https://github.com/ucsd-progsys/liquid-fixpoint/pull/39