Hi Phil,
You are welcome.
Table is just semantic sugar -- a "macro" in other programming
languages. Blend doesn't really exist, either.
Actually, it is not semantic sugar and they both do exist as functions (pattern -> replacement). The reason they do not appear in the FullForm is that its argument has been evaluated before passing it to FullForm. It does not hold its arguments
Attributes@FullForm
(* {Protected} *)
So it is the FullForm of the evaluated expression.
1 + 1 // FullForm
(* 2 *)
1 + 1 // Hold // FullForm
(* Hold[Plus[1, 1]] *)
At its core, the WL is a term rewriting system. Watch the 3 video presentations by Professor Richard J. Gaylord for an overview of how WL uses term rewriting. This is also worth a read.
