import k with modules

[Dan Bean]

currently the value of k for all transitions in a module will default to 1, is this the behaviour we want?

(the marking IS imported)