Fixes in language, added a few pages to implementation chapter