public Env PushEntry(EntryKind loc, String name, ExprType type) { Scope top = this._scopes.Peek(); return new Env(this._scopes.Pop().Push(top.PushEntry(loc, name, type))); }