Function try_define_map_arrow 

pub fn try_define_map_arrow<O1: Clone, A1, O2: Clone, A2: Clone>(
    functor: &impl Functor<O1, A1, O2, A2>,
    f: &OpenHypergraph<O1, A1>,
) -> Option<OpenHypergraph<O2, A2>>

Define map_arrow for a Functor with map_object and map_operation already defined. This will fail if the input term is not quotiented.