Doc++
Removed type aliases, defactorized signature types. Type information
is explicited.