Various minor changes and notes on things that require more attention

Here are my edits up to Implications and Future work.  I had to leave a couple of things as FIXME-comments as I didn't have time to investigate further.