Fix unbound parameters in level annotations for some notations.

They are now caught by Coq.