added Syntax.mk_fresh_lvar

This is convenient for clients such as llStar