Compiler for a relatively simple language with contextual restrictions