Show{Source,Doc}: refactor assuming definitions from the context

I hope you're pleased now, @banister!