Got types, integrals and models working together again.