`static_type` -> `static_mtype`