collapse multiple define-vars

[shriram]

When obtaining multiple names, it's a nuisance to write define-var over and over again. Instead, provide a define-vars that enables extracting multiple names.