WIP: Better Law Specs For non-Exponential Types
The Law of the Land

This is the first PR in a series that breaks up the changes proposed by this older PR that addresses this issue. This first PR implements portions of the law specs as originally proposed by @pfgray. This first PR implements all laws for the non-exponential types.
This is a non-breaking change.
A PR will follow to capture the same changes for remaining exponential types.
Coverage remained the same at 100.0% when pulling 55a7c96f64cc841ea6e5656018a0370e8f2a7bc3 on chore/better-laws into 098a1d2b36b9a2e758899af7817ed63e28586154 on master.
Coverage remained the same at 100.0% when pulling 55a7c96f64cc841ea6e5656018a0370e8f2a7bc3 on chore/better-laws into 098a1d2b36b9a2e758899af7817ed63e28586154 on master.