Adding type rules