Make type rules in Add clearer

Taken from #3235