add a header and a bit about predicates in the prereq section of computability
add definition for decidablility
add an example for decidability
add definition for standard form of URMs in computability
add definition continuous functions to ms