These are sometimes necessary. In the future the compiler should be able
to detect when they will be necessary so we don't have to find out at
runtime.
Should make it clearer what a "variable" is and allow more flexibility
in what a variable can be (previously it could only be an object, but
now it can be e.g. a reference to the template or a special shortcut)