"Abstract" values may be passable in C but not supported by libffi.

We need this to support the caml 'value' type, which is treated as abstract.
C stub generation (WIP).
Beginnings of analysis of generated C (WIP).