Changed constructor of Unit to unit.
agda-2.4.0 got lost in the test Makefile
Fixed clashing definitions of parseNat
Merge branch 'compat-2.4.0'
Version in test/Makefile again