slight fix
modify to introduce mathematical syntax, REPL environment and WAQL file loading functionality