Changed quantifier so that order of argument generation is defined
More tests
More tests and more fixes
Basic tuple generation
Tuple generation now works for non-copyables