Util.output_buf function
removed Lambda from constructors of Term.t; implemented Term.copy