Adding type rules, basic overview