Reduce primitives during simplification
Merge branch 'maint-2.4.0'
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ issue 1216 ] Fixed by giving proper error message.
Merge branch 'Issue1216'
Undo accidentially committed changes to Makefile
Merge branch 'maint-2.4.0'
[ comment ] level Max[] is ClosedLevel 0.
[ debug ] fitsIn: properly raised sort to avoid confusing debug messages
[ refactor, comments ] Conversion.equalSort.
[ issue 1205 ] Fixed by postponing leqSort problems involving dLub.
Merge branch 'maint-2.4.0'
Added bugfixes to CHANGELOG.
Merge branch 'maint-2.4.0'
Merge remote-tracking branch 'upstream/master'