In Python I want you module by module interface by interface to fully and carefully implement and execute the supplied IDL,  using your python environment and SQLite as the back end.  Generate the required database tables as needed.  After each interface ask me if i wish to proceed.

 // === IDL FOR RESTAURANT RESERVATION SYSTEM ===

module RestaurantReservationSystem {

    interface Restaurant {
        // Add a new restaurant to the system
        // Preconditions:
        // - `details` must not be null and must include necessary restaurant information.
        // - Expected JSON format: { "name": "string", "address": "string", "contactInfo": "string", "capacity": "int", "openingHours": "string", "cuisineType": "string" }
        // Postconditions:
        // - A new restaurant entry is created in the system.
        void addRestaurant(string detailsJSON);

        // Update existing restaurant information
        // Preconditions:
        // - `details` must include at least one modifiable field.
        // - Expected JSON format: { "restaurantId": "int", "name": "string", "address": "string", "contactInfo": "string", "capacity": "int", "openingHours": "string", "cuisineType": "string" }
        // Postconditions:
        // - The specified restaurant's information is updated in the system.
        void updateRestaurant(string detailsJSON);

        // Set or update the opening hours of the restaurant
        // Preconditions:
        // - `hours` must be a valid string representing time ranges.
        // - Expected JSON format: { "restaurantId": "int", "openingHours": "string" }
        // Postconditions:
        // - The restaurant's opening hours are updated.
        void setOpeningHours(string hoursJSON);

        // Retrieve a list of restaurants based on provided filters
        // Preconditions:
        // - `filter_params` may include location, cuisine, etc.
        // - Expected JSON format: { "location": "string", "cuisine": "string", "rating": "double" }
        // Postconditions:
        // - Returns a list of restaurants that match the filters.
        string listRestaurants(string filter_paramsJSON);

        // Get detailed information about a specific restaurant
        // Preconditions:
        // - `restaurantId` must exist in the system.
        // - Expected JSON format: { "restaurantId": "int" }
        // Postconditions:
        // - Returns detailed information about the restaurant.
        string getRestaurantDetails(string restaurantIdJSON);
    };

    interface User {
        // Register a new user
        // Preconditions:
        // - `details` must include name, email, and phone.
        // - Expected JSON format: { "name": "string", "email": "string", "phone": "string", "password": "string" }
        // Postconditions:
        // - A new user is registered in the system.
        void registerUser(string detailsJSON);

        // Update user's profile
        // Preconditions:
        // - `details` must include at least one field for update.
        // - Expected JSON format: { "userId": "int", "name": "string", "email": "string", "phone": "string" }
        // Postconditions:
        // - The specified user's profile is updated.
        void updateUser(string detailsJSON);

        // Delete a user's account
        // Preconditions:
        // - `userId` must exist in the system.
        // - Expected JSON format: { "userId": "int" }
        // Postconditions:
        // - The specified user's account is deleted from the system.
        void deleteUser(string userIdJSON);

        // View user's booking history
        // Preconditions:
        // - `userId` must exist in the system.
        // - Expected JSON format: { "userId": "int" }
        // Postconditions:
        // - Returns the booking history of the user.
        string viewBookingHistory(string userIdJSON);
    };

    interface Reservation {
        // Create a new reservation
        // Preconditions:
        // - `details` must include userId, restaurantId, numberOfGuests, reservationTime.
        // - Expected JSON format: { "userId": "int", "restaurantId": "int", "numberOfGuests": "int", "reservationTime": "string", "specialRequests": "string" }
        // Postconditions:
        // - A new reservation is added to the system.
        void makeBooking(string detailsJSON);

        // Modify an existing reservation
        // Preconditions:
        // - `bookingId` and `new_details` must specify the reservation to be modified.
        // - Expected JSON format: { "bookingId": "int", "newDetails": { "numberOfGuests": "int", "reservationTime": "string", "specialRequests": "string" } }
        // Postconditions:
        // - The specified reservation is updated in the system.
        void modifyBooking(string bookingJSON);

        // Cancel an existing reservation
        // Preconditions:
        // - `bookingId` must specify the reservation to be cancelled.
        // - Expected JSON format: { "bookingId": "int" }
        // Postconditions:
        // - The specified reservation is cancelled.
        void cancelBooking(string bookingIdJSON);

        // Check table availability
        // Preconditions:
        // - `restaurantId`, `time`, and `number_of_guests` must be specified.
        // - Expected JSON format: { "restaurantId": "int", "time": "string", "numberOfGuests": "int" }
        // Postconditions:
        // - Returns availability status.
        string checkAvailability(string availabilityJSON);
    };

    interface Table {
        // Add a new table to a restaurant
        // Preconditions:
        // - `details` must include restaurantId and capacity.
        // - Expected JSON format: { "restaurantId": "int", "capacity": "int", "locationDescriptor": "string" }
        // Postconditions:
        // - A new table is added to the specified restaurant.
        void addTable(string detailsJSON);

        // Update details of an existing table
        // Preconditions:
        // - `details` must include tableId and new capacity or location descriptor.
        // - Expected JSON format: { "tableId": "int", "newCapacity": "int", "newLocationDescriptor": "string" }
        // Postconditions:
        // - The specified table's details are updated.
        void updateTable(string detailsJSON);

        // Remove a table from a restaurant's floor plan
        // Preconditions:
        // - `tableId` must specify the table to be removed.
        // - Expected JSON format: { "tableId": "int" }
        // Postconditions:
        // - The specified table is removed from the restaurant.
        void removeTable(string tableIdJSON);
    };

    interface Review {
        // Add a new review for a restaurant
        // Preconditions:
        // - `details` must include userId, restaurantId, rating, and text.
        // - Expected JSON format: { "userId": "int", "restaurantId": "int", "rating": "int", "text": "string", "date": "string" }
        // Postconditions:
        // - A new review is added to the system.
        void addReview(string detailsJSON);

        // Update an existing review
        // Preconditions:
        // - `reviewId` and new details must be specified.
        // - Expected JSON format: { "reviewId": "int", "newDetails": { "rating": "int", "text": "string" } }
        // Postconditions:
        // - The specified review is updated in the system.
        void updateReview(string reviewJSON);

        // Delete a review
        // Preconditions:
        // - `reviewId` must be specified.
        // - Expected JSON format: { "reviewId": "int" }
        // Postconditions:
        // - The specified review is deleted from the system.
        void deleteReview(string reviewIdJSON);
    };

    interface Authentication {
        // User login to the system
        // Preconditions:
        // - `email` and `password` must be valid and match an existing user.
        // - Expected JSON format: { "email": "string", "password": "string" }
        // Postconditions:
        // - Authenticates the user and returns a session token.
        string login(string loginJSON);

        // User logout from the system
        // Preconditions:
        // - `userId` must be specified.
        // - Expected JSON format: { "userId": "int" }
        // Postconditions:
        // - Ends the user's session in the system.
        void logout(string userIdJSON);

        // User can change their password
        // Preconditions:
        // - `userId`, `oldPassword`, and `newPassword` must be specified.
        // - Expected JSON format: { "userId": "int", "oldPassword": "string", "newPassword": "string" }
        // Postconditions:
        // - Updates the user's password in the system.
        void changePassword(string passwordChangeJSON);
    };
};

// == !! END IDL FOR RESTAURANT RESERVATION SYSTEM !! ===