Fix ImplicitSize computation
Update documentation
Fix an assert that have to make the compilation failed