Laws didn't hold for BoundedEnum#23

Closed

jacereda wants to merge 4 commits intopurescript:masterfrom

jacereda:master

Commits on Nov 11, 2016

Commits on Nov 13, 2016

Fix inconsistency in variable names
jacereda
committed

Commits on Nov 15, 2016

Use pred/succ instead of arithmetic
jacereda
committed