@Override
    public boolean equals(Object obj) {
        return super.equals(obj) &&
                ((ArrayType)obj).length == this.length &&
                element.equals(((ArrayType)obj).element);
    }