Or "let's go on a diet" (quite big size savings already 5%-10%).

Detected issues:

• or and and
• accidental/unneeded boxing/unboxing
• Conversions at call site
• Conversions inside procs
• Need for 'union' types ie cons/false
• Weird boolean conversions
• Referring to record types for parameter/return types
• Multiple values
• Typing of rest args