Point-Separable Classes of Simple Computable Planar Curves (Logical Methods in Computer Science, 2012)