Update README. Fix lt operators. Add testcases.

Sync new integral types handling to README.
Fix less-than operators for comparing variant with literal.
Add comparison testcases.