Move _+2+_.
Expose more computational contents.
Rename is-fiber-connected.
extension-is-truncated.
Rename extension in ToPropToConstSet.