[ issue-1218 ] Fixed test case
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
[ MAlonzo ] compiler binding for primFloatEquality
Merge remote-tracking branch 'upstream/master'
[ configure.ac ] Added test for Alex (accidentally removed)
Merge remote-tracking branch 'upstream/master'