Some further changes

- Updated documentation in IGR files to reflect the new module structure
- Added a way to choose from multiple backends (kind of unnecessary, but could be handy)