tok_multiTypeArguments [certain multi-typed arguments for functions, run after most JavaX translations, LIVE]