Update README.md

Clarify that SINQ works for any sequences, is fully typed, tries to be lazy where possible.