updated design document about extensible record types
updated design document about extensible record types

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/logtk,c-cube/logtk,c-cube/zipperposition