Implement alldiff, convert plus with one constant argument more efficiently, fix count.