Improvements to DslProxy and misc tweaks to array extensions