Verificación de tipos en constantes. Unicidad de declaración (primera
aproximación, muy muy básica).