else if (other instanceof String) { return this.string.equals(other); }
	public boolean equals(Object other) {		if (other instanceof StringType) {			StringType t = (StringType) other;			return this.string.equals(t.string);		}				return false;	}