renamed variants of Symbol.t
updated Type to use ScopedTerm.t