ExperimentalPlay.lhs updated.