Push upper and lower bounds inside the nodes.
Small fixes.