new type definition, fix assert