DRS->OWL: improve handling of toplevel DRS

The improvements are:

  - more DRSs supported
  - less anonymous variables generated,
    except for one type of sentences ('a man is a human.') which now looks more complex in OWL than before
  - better error messages (in a few cases)
  - cleaner code