Add support for PDE-conforming Taylor expansions.

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