ghc-symbol

Symbol on term level.

This package fleshes out Symbol on term level, so we can use the same type for terms and promoted to type level.