EventuallySemigroup, etc
fixes
swap L and R in Eventually structures
add license header
EventuallyMonoid just needs Semigroup[L]
unit tests for Eventually
Merge pull request #103 from asiegel34/eventually

EventuallySemigroup, etc