Principles and pitfalls of designing software for applied category theory