let arity = filter (fun _ e -> match e with Arity  _ -> true | _ -> false)