Add ApplicativeError laws

[pakoito]

This PR adds the laws for ApplicativeError. They add another EQ to the call chain, it wasn't too painful. Depends on #234, see diff in #235

[codecov-io]

Codecov Report

❗ No coverage uploaded for pull request base (master@b072521). Click here to learn what that means.
The diff coverage is 6.38%.

@@            Coverage Diff            @@
##             master     #236   +/-   ##
=========================================
  Coverage          ?   49.57%           
  Complexity        ?      232           
=========================================
  Files             ?      109           
  Lines             ?     2453           
  Branches          ?      287           
=========================================
  Hits              ?     1216           
  Misses            ?     1124           
  Partials          ?      113

Impacted Files	Coverage Δ	Complexity Δ
...st/src/main/kotlin/kategory/laws/MonadErrorLaws.kt	9.09% <0%> (ø)	1 <0> (?)
...ts-test/src/main/kotlin/kategory/laws/AsyncLaws.kt	2.08% <0%> (ø)	1 <0> (?)
kategory/src/main/kotlin/kategory/data/Option.kt	60.41% <100%> (ø)	7 <0> (?)
.../main/kotlin/kategory/laws/ApplicativeErrorLaws.kt	3.22% <3.22%> (ø)	1 <1> (?)
.../src/main/kotlin/kategory/generators/Generators.kt	51.28% <7.69%> (ø)	0 <0> (?)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update b072521...0a4a969. Read the comment docs.

[JorgeCastilloPrz]

Can this be merged now ?

[pakoito]

I need to fix the conflicts first. Haven't had the time yet.