Update especificacao.sable

Nova gramática para expressões