Abstract data type for canonical paths with some pretty operations (still in development)