Make 'validateAndExtract' pass its first test

This required changing the interface of the 'fill' functions to accept
DEValues, which was on the todo list anyway.