Adição de especificação sintática do GALS