int operator<=(const typeinfo &t1,
               const typeinfo &t2)
{
  if ( t1 == t2 ) return 1;
  if ( t1.before(t2) ) return 1;
  return 0;
}