terml/term: Shun getAllegedType().