What is a free double category like