Se han añadido los distintos terminos.
Cada clase representa a un tipo de término que puede existir.
así sea un Atomo, una cláusula o una variable.