Fix bug in GADT constraints for hidden open types
Fix injectivity issues for GADT constraints