remains of the project that generated this one
added some tags and moved Math to dependencies
first attempt in using quickcheck