Added more comments to HelloWorld

fixes #1
Trying out @implicitNotFound
Trying to make the imports section more understandable
More clarification
Using imageImports now, as well has mutable state in imageImportDescriptors