The Core Programming Language