some more work in Ktheory, blocked in RawMatrix