Update and rename lec3_evaluation_strategies_and_termination.md to lec4.md