LCHL Synthetic Geometry