Removes nonsense about coslice category

Fixes the definition of the pushforward of Andre motives along S' -> S.