Decidable term-modal logics