Redefined aliased types in the types header