Disable doc type editor for strict types

The document type editor is enabled for both relaxed as well as strict types. For strict types, though, it is no longer functional.
Disable the edit button to prevent the system from getting in an inconsistent state where not even documents can be edited.