effect-ts-laws Modules

1. arbitrary - Arbitraries for fast-check.
2. law - Law testing infrastructure.
3. laws - The home of all laws.
4. typeclass - Typeclass-related code useful for law testing.
5. vitest - Code for testing laws in vitest test suites.