Document Rc<T>

These should probably all be asserts? Unless we're deviating from that convention?