Adição de cadeia, inteiro, real e palavras reservadas à especificação