[ release ] removed 2-4-0 release notes (part of CHANGELOG now)
Rename option --compile-no-main to --compile --no-main as suggested by Nils.
.gitignore
[ test suit ] Updated two .err files.
hide instance arguments in make-case
allow COMPILED_DATA for records
fixed bugs in haskellType compilation
  - explicit foralls for data parameters in COMPILED_DATA
  - deBruijn bug when going inside dependent pi
[ issue1184 ] fixed: expanding instance arguments when requested
Refactor: generalized reallyUnLevelView to MonadTCM.
Instance MonadTCM for MaybeT.
Named fields of OpenThing (data Open).
Commented tryOpen.
Refactor: use MaybeT in DisplayForm.match.
Haddocumentation for DisplayForm.
Small refactorings and comments for DisplayForm.displayForm.
Removed catchError from DisplayForm.displayForm.
Testsuite runs fine.
Commented arguments of withDisplayForm.
Refactor: remove unused argument n from DisplayForm.match.
Reordered and documented code of With.withDisplayForm.
Documented Base.DisplayForm and DisplayTerm.