LFTC Lab1 minilanguage