make the target of a TypeExprID a TypeDecl instead of TypeExpr

Previously we were "unwrapping" a TypeDecl during symbol resolution. This meant
that later on there was no way to ask "what TypeDecl did this TypeExprID point
at?" This question was previously irrelevant but we now need to start
synthesising unique symbols in the SMT bridge and it's becoming necessary.