subclasses for known geometries

Since some of our predefined geometries have to have their own methods (e.g. is_line for laguerre) they should be subclasses of CayleyKleinGeometry.