Las variables se declaran restringiéndose a un determinado dominio de un tipo o “kind”.