Add checking for pairs
Small documentation fix.
Add case deconstruction during Tag substitution
Adapt numbers example to the new syntax.