Optimize `complement . complement ==> id`
More Num optimizations
Cleanup patterns