Implicit Time Integration for Known Types

Problem

...