Analyze all algebras for opportunities to define operational laws

[mr-calvert]

Java's APIs come with comments that act like a specification. In many cases the rules laid out in the comments may be formalized to laws.

This issue covers reading over the existing algebras and creating further issues covering writing and testing as many such laws as can be logically supported. They'll provide a lot of value in terms of supporting people developing alternate implementations as well as expressing what may be expected of the underlying JVM implementations in a clear and reasonable fashion.