Preliminary language specification