transform choice exercise to WL1 + refactor