setting up labelization process (annotated semantics)
minor
[process.ml?] : adding labelled processes