The given type must be a record type returns a closed version of the given record type (or the same type, if it is already closed)