feat: instantiate transducer for booking

[monotykamary]

What does this PR do?

• Instantiates a nested modal transducer for booking
• Basic test cases for booking state machine

Reference state machine

Generated digraph

Generated SQL for Audit

CREATE OR REPLACE FUNCTION booking_transition(state text, event text) RETURNS text
LANGUAGE sql AS $$
  SELECT CASE state
    WHEN 'Idle' THEN CASE event
      WHEN 'Book' THEN 'Reserved'
      ELSE state
    END
    WHEN 'Reserved' THEN CASE event
      WHEN 'Book' THEN 'Booked'
      WHEN 'Cancel' THEN 'Cancelled'
      ELSE state
    END
    WHEN 'Booked' THEN CASE event
      WHEN 'CheckIn' THEN 'CheckedIn'
      ELSE state
    END
    WHEN 'CheckedIn' THEN CASE event
      WHEN 'CheckOut' THEN 'CheckedOut'
      ELSE state
    END
  END
$$

Generated Shortest Paths

'Booked' state
		Booked                         + CheckIn                        -> CheckedIn

'CheckedIn' state
		CheckedIn                      + CheckOut                       -> CheckedOut

'Idle' state
		Idle                           + Book                           -> Reserved
		Idle                           + Book                           -> Reserved
		Reserved                       + Book                           -> Booked
		Idle                           + Book                           -> Reserved
		Reserved                       + Book                           -> Booked
		Booked                         + CheckIn                        -> CheckedIn

'Reserved' state
		Reserved                       + Book                           -> Booked
		Booked                         + CheckIn                        -> CheckedIn
		Reserved                       + Cancel                         -> Cancelled
		Reserved                       + Book                           -> Booked