Fixed syntax error in relations between morphisms
First draft of an implication graph for relations

Very preliminary
First draft of highlighting
Improved active and incoming / outgoing edges