Constructors for types now exported