Rebuilt type-hinting. Yanked DisplacedFile.

We now also add a "#" suffix to files that will require a mime-type. Reintroduce DisplacedFile and just-info functionality.