Test all of OpTopType.