Add super and outer to type checking dialects