Finished draft of oopsla14 through sec 2 with new examples