typo in Oct-12.md

```
explicate_effect (WhileLoop cnd body) cont`
=>
goto loop

where
body' = explicate_effect body (goto loop)
loop-body = explciate_effect cnd body' cont

loop:
    loop-body 

```
should change **loop-body** to
```loop-body = explicate_pred cnd body' cont```