Update namespaces, record-disambiguation and open types