duct system now type-consistent but not verified.