`list` and `nil` built-in terms