Add a Functor instance for Sym.
Add a Functor instance for Sym.

This allows transformation between symbolic variable types.

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32