A Python dict that can report which keys you did not use