Changed constructor of Unit to unit.
agda-2.4.0 got lost in the test Makefile
Fixed clashing definitions of parseNat