Validate variable names given to define and lambda. Fix a bug in let desugaring.