Text this: Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming.