Function generate_choreography_code_with_annotations 

pub fn generate_choreography_code_with_annotations(
    name: &str,
    roles: &[Role],
    local_types: &[(Role, LocalType)],
    choreo: &Choreography,
) -> TokenStream

Generate complete Telltale code from a choreography with annotation support