Remove locations from universes
Added general advice.

In anticipation of universal hints we added general
advice "advice e1 in e2". It is never consulted, but
will be once we have fancier hints.

Also, we need to adapt `doc/brazil.tex` so it accounts
for general advice.