reorganization of sections, outline of section on the design of typed lua; removal of statistics
rewrite of the introduction