Implement type family instance support for ":info" (#4175)

v2: added a couple of comments