Proving a language to be Recursively Enumerable?
Your language is computable, and so in particular recursively enumerable. Given a path on the Cartesian plane, you can decide whether it goes back where it started: just follow the path and see where it ends. You can program a computer to do that. So it is decidable.