20070903-1

Running

  Agda2/examples/AIM6/RegExp/talk> agda -v9 SimpleMatcher.agda 
  agda: unbound variable

The bug must be in TypeChecking/Conversion.hs