working on lexical scope
moved latex files to their own subdirectory
added occurs-freeo and occurs-boundo