Highlevel code for the PF core.  The idea is that the linear part can
be compiled easily to C without an asynchronous GC, and the nonlinear
part can be offloaded to C using a garbage collector.