Update w.r.t removal of Eq from Val and Scheme constraint on param types