Explicitly denote implications of action (or inaction).

Now, implications are denoted by "=>", e.g.:

  No time-step policy specified!
   => defaulting to `variable`