Update lec-refinement-types-2.markdown