Reordered timeout NaBL2 signature explication and addition of timeouts. Adjusted a comment.
Reordered timeout NaBL2 signature explication and addition of timeouts. Adjusted a comment.

metaborg/dynsem,metaborg/dynsem