Agregando las reglas de tipado