Fix breakage after Rust syntax module update.
Upgrade syntax extensions for error handling in “refined_type” macro.
Update documentation.