list ranges now type check, code cleanup, added tuples, lotsa stuff
Merge branch 'hindley2'