Core classes, the kernel of Alf