document macro patterns

[jesse99]

The tutorial lists the fragments what macros can match as ident, expr, ty, pat, and block. Ty in particular is not at all obvious.