Adopt examples to sing -> snat change
Inline "wrapper" functions
cleanup transformations and strategy code
show template before context when reporting errors about BB mismatch
type in error message