fix an error on type expression T1*...*Tn where n>=2 and each Ti is a type expression