More modules documentation, including the straw-man import declaration syntax and "how to modularize a platform".