Finalizing Conversion to open HOAS GADT representations