Typing decidability chapter removed
Fixes for App1, Sec 1, Sec 2