Prototypes of the core languages for JetBrains MPS.