Got rid of passing type params into (renamed) assertObeysTheFunctorLaws.
Added a possible matcher syntax for laws checking assertions in a comment.