computability small fixes
add intro and statement of primitive recursion
add lemma for showing equivalence of e-d continuity with inverse image of open sets is open continuity