Replace imports with qualified imports

This makes the inlining procedure more robust.
Factor out default topname
s/__TOP__/Top/ for compatibility with ssreflect