Reflection

There will be a way to query the type system, using the query operator ?, but surely there is more that can be done in the area on a language? Reflection definitely requires more research.