Style fixes
Controversial changes in native func call
Nodes and terms cloning
Fixed mul precedence
Can't understand why does it work. It's inferencer magic
Okay, it fails now
Small fixes