README improvements
indentation bugfixes in pretty-printer
bumping rockspec to 7.2
better namings in the table parser
removing the module-reloading trick, replaced with gg.future eta-expansion
bug squashing in the new extension-based archi