Fixed some typos, changed sigma-type notation, added todos.