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