Fix #787: Add mechanism for propagation of DOM dependency

LOL. Indeed. Or even `fld("requiresDOM", x.requiresDom)`... but that's not symmetric...

Should `requiresDOM` be in the JSON at all if it is false?