Add laws for Aspect and Instrument

[joroKr21]

Also add implicit summoners for Aspect.

[codecov-commenter]

Codecov Report

Merging #156 into master will increase coverage by 0.72%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master     #156      +/-   ##
==========================================
+ Coverage   90.62%   91.35%   +0.72%     
==========================================
  Files          41       45       +4     
  Lines         512      532      +20     
  Branches        2        2              
==========================================
+ Hits          464      486      +22     
+ Misses         48       46       -2     

Impacted Files	Coverage Δ
core/src/main/scala/cats/tagless/aop/Aspect.scala	85.71% <100.00%> (+35.71%)	⬆️
.../src/main/scala/cats/tagless/laws/AspectLaws.scala	100.00% <100.00%> (ø)
.../main/scala/cats/tagless/laws/InstrumentLaws.scala	100.00% <100.00%> (ø)
...ala/cats/tagless/laws/discipline/AspectTests.scala	100.00% <100.00%> (ø)
...cats/tagless/laws/discipline/InstrumentTests.scala	100.00% <100.00%> (ø)

---

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 08acd2f...f6b85a4. Read the comment docs.

[kailuowang]

LGTM, Thanks!