Hay un tipo universal "any", y un procedimiento force[] para comprobar que un objeto es de un tipo correcto.