Often it is very convenient to be able to quickly move states and the select/guards/sync/updates statements. This could be implemented using CTRL+arrow keys.
As it is now, you always have to resort to the mouse to move these things around.
Not sure about this one. Do you know other programs allowing you to move objects in this manner?
Pretty much any other program I use for drawing and so on, yes.
These include OpenOffice, GIMP and I think, Inkscape.
Usually, selecting the items enables you to use the arrow keys to move the items, while holding down SHIFT moves the items further for each press. For instance, pressing left arrow key without SHIFT moves the item 1 pixel, while holding SHIFT down while pressing left arrow key moves it 10 pixels.
Exactly, they move items without the need for a modifier - that was the part that puzzled me.