working on fundamentals of cofree construction