Fix todo note on power k in MM operator.
Consistency: use * for dual notation, and put it after X(R^n).
Resolve a few more todo notes after discussion Henry & Jaap.