Add typing aids to demo transaction