Test all of TypeTopType and some of PromotedTopType.