Much better locations for eagerly opened rigids.
Several name-related improvements.

- sed-refactor the jungle of printers for variable names
- introduce better auto-generated names when possible (for instance, if g is a
  graph, then the variables that stands for the roots field of it will be called
  g.roots, which is kind of nice).