closed #2: implement fn:deep-equals for system proc