worked on combinators and a uniform represent of all graph related stuff (to avoid relying on isabelle context)