Mondic transformation of 'let rec' at the Structure level