Documentation: Finished the documentation of the instruction set abstraction layer