So, you created a new language to define your types for which there is no known compiler… tell me more on how that was a good idea…