method set_type u = t <- u