pub fn var_catalog() -> Vec<VarEntry>
Every variable resolve() accepts, statics first, then families.
resolve()