Case clauses and bound variables are now always annotated by their enclosing function.
Formal scrutinees now integrated with the C code generator (only for compact mode).
Added pretty printer for CBN tables.
Bugfix: code generated by defunctionalization now generates correct cbn information when formal scrutinees are used.