Link to primer on typing rules