Transform<S, T> now implements `sourceType` and `targetType` with S and T

thanks to the fixing of 11345 this now works