added function.destructor and var.local kinds