This is simply a choice of how Ecto wanted to make its api. It helps make it clear when a term refers to a table, and when it refers to an injected value. For example consider the following example:
u = %User{id: 1}
from u in User, where: u.id == ^u.id
The pin operator makes it clear that the right hand side of the == is referring to the external u.
