Add note about top.sls to the "starting states" tutorial

Also cleaned up a bit of a redundancy, and removed a reference to a
section called "State Data Structures" which appears to no longer exist.