pub trait TcVar: Debug + Eq + Hash + Clone { }
Represents a re-usable variable in the type checking procedure.
TcKeys for variables will be managed by the TypeChecker.