SWI-Prolog中可作为复合项函子的通用类型官方名称是什么？

我近日观察到一个有意思的现象：SWI-Prolog 允许复合项的函子不为原子（atom），示例代码如下：

/* 原子作为函子 */
?- Y =.. [foo, bar].
Y = foo(bar).

/* 流作为函子 */
?- current_input(X), Y =.. [X, bar].
X = <stream>(0000000069066420),
Y = <stream>(0000000069066420)(bar).

我想知道原子、流等可作为函子的类型的伞形统称是什么。SWI-Prolog 的报错信息仅提示要求原子，测试代码如下：

?- Y =.. [1, bar].
ERROR: Type error: `atom' expected, found `1' (an integer)

但经测试可正常作为函子的流（stream）并不属于原子类型，验证代码如下：

?- current_input(X), atom(X).
false.

请问 SWI-Prolog 中允许作为函子的通用类型统称是什么？另外我猜测该特性的存在是为了支持字典（Dicts）的实现，字典是带有特殊函子C'dict'的复合项。

2021年9月10日补充 #

我最初猜测该类型是simple/1，但根据相关回答，simple/1仅指代原子或变量（var），并不符合要求。

内容的提问来源于stack exchange，提问作者user502187