First pass of definition of programming language

\*allow