Debugger: better node types.
Debugger: numbers use max 2 decimal places.
Debugger: annotate KeyMerge.
Debugger: give a type signature for Debug.tracePath so it doesn't make hot swapping fail.