Added exp9 (testing contracts on dKanren).