There are some precedence in SQL. Which seems to work out ok for the most part. But then in SQL functions are not relations, and do use positional parameters, so not entirely pure either.

Som help from type/name inference might help in wiring things togetger.