Corrected "make_empty_type"s to "make_unknown_type"s