Added global invariant to machine state, and changed the References-Equals rules to reflect it's use
Merge branch 'master' of https://github.com/ericmercer/uber-lazy
Merge with changes to main branch.