For typed, convertible files, global revision control, and possibly the access control enhancements you mention (for the other features ignorance begets silence

For typed, convertible files, global revision control, and possibly the access control enhancements you mention (for the other features ignorance begets silence), Urbit [0] may be of interest. [0] urbit.org