[Truffle] Reorder ProcNodes: constructor first.
[Truffle] Have a try at implementing Proc#binding.

* We therefore need a declaration frame for every block
  as it is needed retrospectively when calling Proc#binding.