Allow editing of tagged literal in example

Fixes #12