Simplify type initialization + make ids available before initialization
Make type lookup quicker.
Update the documentation with more compilation instructions.