Add Star skeleton

[evilsoft]

A Super Star is what you are

This PR adds another skeleton to the docs for this issue#42. This one for the Star. Also in anticipation of the removal of the monoidial implementation on Arrow (broken in sooo many ways), this PR also removes the concat, empty and value bits off of Arrow

[coveralls]

Coverage remained the same at 100.0% when pulling 8bfdfab on star-docs into 0d23be8 on docs.

[coveralls]

Coverage remained the same at 100.0% when pulling 9b24cd5 on star-docs into 0d23be8 on docs.

[evilsoft]

May want to consolidate the types a bit, make it easier to follow.
I mean come on, they are all Monad, we get that!!

[rstegg]

Let's keep 🌽 and only try to say Star a b, but here are some ideas I came up with:

• Star a (Monad b)

• Star a b
. Monad m => b ~> m b

• Star a (m b)
. Monad m

The superstar inside me says "keep the laws implicit until skeleton is drawn!"

[evilsoft]

I got the docs. thanks.
Like I said in gitter and on pr#99. I am going to go with what I did there.

[rstegg]

Anytime! I thought the new line could better say "under the implication of" or "constraint on". the . was just a poopie way of indenting. Great jorb never less!!

[coveralls]

Coverage remained the same at 100.0% when pulling 878fdb3 on star-docs into 0d23be8 on docs.

[evilsoft]