Waver: A Typing Adventure

New Benchmark