Shimla Translation and Typing