Finished Intro Rewrite

Today I finished the intro rewrite and also started working on the body
rewrite. I rewrote the relationship between visible and hidden programs
as more of an open question.