Remove top-level opens
Fix threshold domain name
Simplify Cofibered.S types