add *resolution* dynvar to core, add delta-contains to utils