Add × (cross product) as synonym for `cross`