[Hs-Generics] patch applied (generics): renamed GL to EMGM + unified the lib order in test.hs and the table in the paper