Yichus Demos

Incremental port of Bosatsu demos for Yichus.