make reduce partially work again
partial support for rational type detection and jacobi spaces/rings