slow progress/cleanup in tosmt
merged Makefile
moving things out of the poorly named examples/unit-tests directory; turned the --pretype flag on by default