unified handling of var declaration accross sig fields, fun args, and quant vars
updated chameleon to use some of the fancier syntax for fun args