type-sets v0.4.0 release