Added "Limitations" part.
Formatting doc.
Doc++
Removed type aliases, defactorized signature types. Type information
is explicited.