Refactor two interesting tests about `two_in_a_row_star' in
order to place some empty sexps within testing sexps.
Add the contents about continuations from Cornell course given by Dexter Kozen.
Add an interesting file with an observation about saving
continuation and the "loop" problem.