Added CountCompose typeclass and type family which allows you to count the number of times something has been Compose'd on the type and value levels.