add general group-by-truncation construction, redifine homotopy group as such