Adding ExtLib.Data.Member.

- One proof seems to require UIP_refl, perhaps there is a way around this?