While hacking around, I noticed that a lot of makeVar() calls could berefactored into some convenience functions, to save some redundancy andso that the unusual call patterns stand out better. Useful?