Loops: more tests, more typing in tuploids code