Las no funciones de la extensión

Según la gramática $\isZero{\pred{\succ{\zero}}}$ es una expresión válida. Se parece a la aplicación de funciones, pero no lo es. Puede confundirnos los paréntesis ya que es la notación usual $f(x)$.

Vamos a considerar que $zero$, $succ$, $pred$ e $isZero$ dejan de ser identificadores válidos y pasan a ser palabras reservadas. Esto significa que no podemos usar estos identificadores para denotar variables.