Add forgotten GADTs language extension