Fixed type instantiation match code to expand void lists and sets to void list relations and relations of the necessarity arity, resolves #459