Inline useless module
Fix Style/Documentation for SexpExtensions

[ci skip]