Types and especially structured types. https://www.bell-labs.com/usr/dmr/www/chist.html