Replace the GADT by a simple phantom type.
Add opam file.