You correct. The second option is faster, because all commands behind XTYPE get send at once to the XModule in one internal API call. And then the XModule itself executes them one after another.
In the first example with two XTYPE, each ${KEY_DOWN} gets send to the XModule one after each other => slower, because each API call to the XModule takes some extra time.