attempt to fix desugaring of offer into choice
Merge branch 'sessions' of github.com:slindley/links into sessions
delete rubbish
fix semantics of choice