Additive relation categories or algebras: Mac Lane, Hutchinson axioms and bi-modularity