Support `func.call` / Remove single-function assumption

Currently, various places in the compiler assume that the entire program is contained inside a single function.
However, we clearly want to support the ability to call other functions, though probably with the limitation that the call graph must be trivially resolvable at compile time and must have no cycles (i.e., no recursion).

Related PRs:

* #1309
* #1310