Start messing around with GADT for Expr