Module canonicalization 

Functions

canonicalize_binary_operands 🔒

Canonicalize operands of binary operations. This only canonicalize their ordering for now.