more primitives registered as foldable
add-result from (vicare checks) now returns its argument