Several minor changes to subtitles

Several minor changes to subtitles in the monad/interactive series of lectures.