Add link to 'Types in distributed systems' thread at the [TYPES] list.