More progress on types arcticle'