make Expr and Change covariant in A. that's 1.9.1