Wrote up the derivation of the product on the full bar construction. Ready to also do the Steenrod operations.