eval for types in dimension 0