refactoring
auto-widen the types being reified

This increases the amount of info that's possible to capture, because
now we won't skip single types bound to symbols local to reifees.
wip