Of course. I'm just using the simple high school algebra as a kind of metaphor or analogy to the similar concepts and operations in e.g. Lambda Calculus-based

Of course. I'm just using the simple high school algebra as a kind of metaphor or analogy to the similar concepts and operations in e.g. Lambda Calculus-based PLs. They're formalized in Category Theory but I didn't want to get into all that.