Is it only proof of concept? If no: How they develop compiler to language with incomplete spec?