Represent 'unit' as C 'int'; change pattern match compilation to avoid 'goto'; change Postgres prepared statement compilation to make life easier for the GCC escape analysis; all this in support of better tail call optimization

type q = (fn p => p.1) (int, float)
type q = (fn p => p.1 * $p.3) (int, float, [])