Who's going to write this high-level language, and in what language would it be written in?