Implemented typevar_dim_pow