update tutorial and manual to use new `impl Trait for Type` syntax
Cleanup, commenting, trivial renaming
commenting
more info on overly deep expansion
started work on enriching idents
working on adding syntax contexts to identifiers