Thin Games with Symmetry and Concurrent Hyland-Ong Games (Logical Methods in Computer Science, 2019)