Correctly translate Bool-Ord instance

Fixes #97