Types header repository