Improve bound conversion
Implement alldiff
Don't check for auto

All supported compilers already have auto