removing Trans for good (it wasn't called anymore)
fixing non uniform behaviour in computing the support of a neutral Kan Com