reorganized introduction

changed the introduction to focus more on cython being an automation of
writing a C-extension for Python.
edits to typed declarations section of lab

Reword and reorder some of the content for clarity.