Also allow <tm : ty> in terms to stand for {{ty}}<tm>.