Support absurd clauses in quoted and unquoted definitions

Renamed AGDACLAUSECON to AGDACLAUSECLAUSE and added constructors
  AGDACLAUSEABSURD : List (Arg Pattern) -> Clause
  AGDAPATABSURD    : Pattern
Merge branch 'quote-absurd'
Fixed deBruijn bug in absurd pattern to abstract translation