Doc layout
Removes unnecessary type synonyms
Fixes library name