//
//
//
final public class LispString extends LispObject{
  String name;
  LispString(String name){ this.name=name;}
  public int getType(){ return STRING; }
  public String getString(){ return name;}
  public String toString(){ return "\""+name+"\""; }
}