Ported PLC evaluation by normalisation example from Fresh OCaml