* mini/ast_minic.ml: better
* tests/mini/Makefile: a few tests