Raw dg models

The dg category C^dg of cochain complexes, its scalar-linear structure over modules, its scalar-linear tensor copowers, and its internal shift formulas. Its pretriangulated and homotopy-category enhancement results are separate instances of the triangulated dg-enhancement interface.