Added types

[ei-pi]

• Added/clarified types for all files
• Some casts aren't very clean nor safe! They've been annotated with an //!unsafe, along with more general //todos, //bugs and //hacks
• Wrote types for data/objects.json
  • Other files to come…

[hsanger]

Thanks for your contribution!