Experiment with bidirectional programming language.

Inspired by elliot evans's Bidirectional Language Note.