Lobsters: A text editor as UI: implementation