Skeleton outline of talk ready. Followed most of Reviewers' comments, still need to change sections involving C, FML, and Erlang.