Encoding of arrays and record types

Added description of array and record types.