Convert to GADT syntax plugin.