Implement Array.__add