Detect more special cases in power series composition and reversion

[fredrik-johansson]

When expanding $g(f)$ or $f^{-1}$ to high order, one could try to quickly detect if $f$ is a rational or algebraic function of low degree and handle this specially (using binomial transform, etc).