added η-reduction, updated higher order function and lambda sections