Add Lwt syntax to OASIS.