public static vSimpleVar SimpleVar(String name, vDescriptor x) { return new vSimpleVar(name, x.deref()); }
public static vSimpleVar SimpleVar(String name) { return new vSimpleVar(name); }
public static vSimpleVar SimpleVar(String name, vDescriptor x)				{ return new vSimpleVar(name, x.deref()); }