The following rules are added:

- When expanding a goal, expand every transformation and "metas"
  attached to this goal. Usually, we have at most one transformation
  or "metas": the one which hopefully leads us to the proof. Even
  if we have several transformations applied to the same goal,
  their number is quite limited (split, inline, bisect, what else?),
  so why not open them all? And now, at last, we don't have to click
  for the second time on "split_goal_wp" to see the result of a split.

- When expanding a transformation that has a single resulting goal,
  expand that goal, too. Now, when I expand a goal and see that the
  "inline" transformation was applied, I see immediately how the
  resulting goal was handled.

- When expanding a "metas" line, expand the resulting goal, too.
  Once again, if a manipulation gives us one goal as a result,
  there is not much information in that, unless we see how that
  new goal was dealt with.