correctness fix: do not ignore failing cases

The call to 'gets' was producing a nested error result which has been
left uninterpreted. Additionally, pass through the updated environment
from 'validateOver'.
tuned
proof by extensionality
tuned