Described the differences between lambda calculus and lambda-based languages
Added more details for example exercises