add Type.Elem and Value.Type