rework of Curry-Howard notes