Modelling and Computing Homotopy Types: I