type arg substitution in proposal hover (extra info)
two-level proposals for #406