feat(04_Interacting_with_Lean.org): add draft of chapter 4