validerl no longer confuses valid tuples with bounded integers, bugfixes
Update README.md