first-class type

1. REDIRECT First-class citizen

It's more formal and easier to understand and use type instead of citizen in computer science