Fix a bug with universes in type checking of datatypes