added type info for ArgOfExpr