Only the rules up to the belt you pick, so a sheet for belt 3 does not hand you dicts you have not met. The examples are real: each one is generated the same way the games generate them, so a new one appears every time you reload.
What the Arena's first eight stages and Type Blitz ask about: given this, what type is it?
What the Arena's operator stages ask about: given these two, does it work, and what comes out? Only the operators you have already met are listed.