New abstractions for refactored kernel (uncomplete).