parse and evaluate type expression : T1*...*Tn where n>=2 and each Ti