public override ISemantReturn<ExprType> GetExprType(Env env) {
var entryOpt = env.Find(this.Name);
if (entryOpt.IsNone) {
throw new InvalidProgramException("This should not pass the parser.");
}
var entry = entryOpt.Value;
if (entry.Kind != Env.EntryKind.TYPEDEF) {
throw new InvalidProgramException("This should not pass the parser.");
}
return SemantReturn.Create(env, entry.Type);
}