feat(library/rewriter): add {type,body,value} rewriter for {lambda,pi,let}