fixed some wrong variable names in documentation, extended documentation, and added documentation on (more plugin-like) autocompetion functionality
added missing method in documentaiton
slightly improved predicate autocompletion, improved documentation
added variable autocompletion