[intro.def] Add constraints to definition of signatures.
[edit] Regen docs.