Header para las clases del sistema de tipos