completed tuples
complete typeMatching