Dynamic Term-Modal Logic