Track more safety invariants in the type system#279

Kixunil wants to merge 2 commits intoAmanieu:masterAmanieu/parking_lot:masterfrom

Kixunil:use_typesystemKixunil/parking_lot:use_typesystemCopy head branch name to clipboard