Add the term typing rules