Better type annotations

[bzz]

Low-hanging fruit part of the TODO items from #57

• Flow variable types SDK update + fix failing AST transformation for a valid JS file #57 (comment)
• Flow function arguments SDK update + fix failing AST transformation for a valid JS file #57 (comment)
• Flow function return type SDK update + fix failing AST transformation for a valid JS file #57 (comment)