Foliated topology and foliated homotopy types