Export "type: lbound" modelfacts to pml

Rational is to be able to bound loopiterations on model level.
Syntax is `#pragma platina lbound <num>` even though this syntax is not
final yet.