First-class everything

Do any programming languages have everything as first-class citizens? This includes not only functions, but types, classes, etc. too. Having everything first-class can be a flexible and non-kludgy alternative to generics/templates.

I was actually going to try to implement first class types in a programming language. You could implement a function which takes arbitrary arguments (including other types) and returns a type, created at run time.