added conditionals, while-loops, and procedures with parameters to lex spec