- big things to implement:
  * exceptions (I guess setjmp/longjmp model)
  * not-so-big -- bind expressions with (wfl ...) nodes for debbuger,
    also it would be nice to removed redutant wfl in ksi.ml

- things that are known to be broken
  * floats... esp. passing them to functions, it should be implemented
    as passing pointers.
  * calling gontc with more then one gont source file is unlikly to work,
    compiler state should be reset (somewhat...) before

- typechecker:
  * check whatever each patch in non-void function ends with return statement
  * implement full flaged type reconstruction

- possible optimizations:
  * if function doesn't pass it's closure anywhere, we could allocate closure
    with alloca, which would be *a lot* faster
