oplss19 Student lecture notes for "Empowering Spreadsheet Users with Probabilistic Programming" by ADG