typage typdecl_v.