use Integer instead of Int, automated testing in Makefile