Categories within KNUTH

Types within KNUTH