Sketch for my dream language