Full Tiger => LLVM type translation should be working again.

We also moved the translation to Typing, since it did not
make much sense to delay it until Translate.