Provide documentation about the internal working of the SBG #1328
Description
After a major refactoring on the static binding generator, the decisions made regarding the algorithms for collecting overridable and abstract inherited methods, generics reification and method/class signatures parsing, must be documented.