Added implementation of a language feature: new SELF_TYPE now works properly