implement -repr for Type