This formula:

Object.transformation.position["z"] = Object.transformation.position["z"] + 10

does not work. "Object" is the actual object. How to change coordinates at all?

 

  local pos =   Object.transformation.position
  Object.transformation.position = {x= pos.x, y= pos.y, z= pos.z + 10}

This works, thank you!

I never ever guess it.

How about translateZ function?

It seems Object.transformation:translateZ(1) do the same job. Much easier.