Dictionaries

Language Features

• Add parsing and checking of dictionary (builders) (#438 )
• Index uses __getitem__ magic method (#438)
• Annotate collections with their type (#437)
• Change String to Str (#435)
• Allow arm conditions without identifier in handle (#423)

Bug Fixes

• Verify that types actually exist (#429)
• Can again infer type of an if expression (#367)
• Don't generate ternary expression if it contains raises (#420)

Internal

• Improve shadowing and branching logic in generate stage (#430)
• Implement fully generics in checker internally (#439)
  • Not fully supported yet in definitions, however (#443)