add(sicp): add 4.35, 4.36