where else should it be?
It currently isn't.
Very briefly: what we currently have is procedures that implement these things, but that's not the same thing.
Just like having a loop implemented by gotos is not the same thing as having a loop. (See Dijkstra)
where else should it be?