Update implicit-dim.uc

Can now determine type using type specifiers (before it used to rely only on DefInt, Def[...])