Translate user's type annotations correctly
Although currently not relevant due to the lack of support for scoped type variables, a user's type annotation should be transformed correctly during the dictionary translation. Currently, any context gets dropped.
Edited by Finn Teegen