Update code examples in choice section to use Equiv instead of Eq so not to confuse...