SyntaxUtils: moduleExtensions
Implicit Prelude
Add docs