This patch should have no real user-visible effect, except for the help output -- it just makes the OP-id forms of add-id, delete-id, and move-id the `real' command names, and the OP forms the aliases.

With the recent addition of the `mv' command, I think this makes the distinction betwen mv and move slightly clearer by emphasizing that the latter is merely a handy alias for move-id.  If an `rm' command is later added, this will also help for that case -- and even now, it helps to emphasize that the `delete-id' command only affects the explicit id, and doesn't remove the actual file.

[If most users actually end up using `tla mv' instead of `tla move-id' it might be better to simply remove the `move' alias altogether, leaving `move-id' for use by scripts and occasional user use, but that's a more controversial change.]