Added evaluation rather than substitution for nested annotation applies. This now allows us to use splicing in tree reification
Refined example to show nested expression splicing