TODO for leancheck.py in the person.py example, avoid calling Enumerator.choices? fix infinite loop in print(Enumerator(set[bool])) simplify code Add some built-in benchmarks. Performance is not so good currently. add carry-on flag