Development: Add Flow types for static types safety

[DmitrySoshnikov]

Currently the code base is not statically type checked, we can use Flow type checker to validate it.

(actually, this will require another build step with transpiling JS code -- the flow type annotations should be stripped)