Text this: Initial Algebra Semantics for Cyclic Sharing Tree Structures