Re-spec types, to remove the concept of the type's "secret."
Re-spec types, to remove the concept of the type's "secret."

This will likely be re-introduced later, but in a somewhat different
form.

danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat,danfuzz/samizdat