Fixed up theorems about bases of various free constructions and about homotopy operations.