Adapt to new NaBL syntax.
Fix message-task interface usage, now called nabl-constraint.
Fix wrong type-match calls.