Tuple{{
    public ident first(){ return ns.top(); }
    public Tuple rest(){ return new Tuple(ns.pop()); }
    public Tuple push(String id){ return new Tuple(ns.push(new ident(id))); }
}}