Reduce primitives during simplification
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite