Summary: record unused type profile information with type system, propagate and use it.
Reviewed-by: kvn, twisti