Preprint: Directed homotopy theory, II. Homotopy constructs,