Category:Isan terms with redundant head parameter