Created formal distinction between navigation commands and other commands.

Probably there are only two groups of commands: navigation commands and task
commands.