One test for every homomorphic property added, closes #3