gadts

name binding of GADT's record fields and a test case (doesn't use the record syntax because parser doesn't support at this moment)