Integration again

We now have the required result that we can integrate differential forms of degree $k$ over a $k$-dimensional oriented manifold.