Added example of syntax-local-introduce