Review a few functions which explicit pattern match on Choice
First touch on int module (mostly reformatting)