Towards a double operadic theory of systems