Updated Data.Logic (does not export Choice because it's generally unused, and conflicts with things). Renamed Pair.first/second to left/right.