Update some type constructors