renamed -safe flag; fixed variadic host function constructor; auto_name_Type; Seq-lit.