Add link to GADT paper re rigid types