Add support for PDE-conforming Taylor expansions.

These expansions use information from the PDE to compress the
number of needed Taylor coefficients.