fix GADT

fix the two issues described here https://github.com/ocsigen/eliom/issues/48