Make Canonicalize optional

[jkarni]

As Andres noted, Canonicalize breaks modularity. It shouldn't be the default behaviour. Moreover, we should add something like Unit to prevent it from traversing into specific types.

Canonicalize should also be named something else (maybe Distribute) since now it's no longer the canonical form (there isn't one), and it really just applies one transformation.